Reliable Implementation of Real Number Algorithms: Theory and Practice Dagstuhl Seminar
نویسندگان
چکیده
From 08.01.06 to 13.01.06, the Dagstuhl Seminar 06021 Reliable Implementation of Real Number Algorithms: Theory and Practice was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice
The seminar brought together researchers from many different disciplines concerned with the reliable implementation of real number algorithms either from a theoretical or from a practical point of view. In this summary we describe the topics, the goals, and the contributions of
متن کاملReal-World Visual Computing (Dagstuhl Seminar 13431)
Deduction and Arithmetic (Dagstuhl Seminar 13411) Nikolaj Bjørner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach . . . . . . 1 Genomic Privacy (Dagstuhl Seminar 13412) Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421) Glencora Borradaile, Philip Klein,...
متن کاملDagstuhl Seminar 14461 High - performance Graph Algorithms and Applications in Computational Science
This report documents the program and the outcomes of Dagstuhl Seminar 14461 “Highperformance Graph Algorithms and Applications in Computational Science”. The seminar reflected the recent qualitative change how graph algorithms are used in practice due to (i) the complex structure of graphs in new and emerging applications, (ii) the size of typical inputs, and (iii) the computer systems on whic...
متن کاملAlgorithms and Number Theory Dagstuhl Seminar
From 24.05. to 29.05.2009, the Dagstuhl Seminar 09221 Algorithms and Number Theory was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in t...
متن کاملBidimensional Structures: Algorithms, Combinatorics and Logic (Dagstuhl Seminar 13121)
We provide a report on the Dagstuhl Seminar 13121: Bidimensional Structures: Algorithms, Combinatorics and Logic held at Schloss Dagstuhl in Wadern, Germany between Monday 18 and Friday 22 of March 2013. The report contains the motivation of the seminar, the abstracts of the talks given during the seminar, and the list of open problems. Seminar 18.–22. March, 2013 – www.dagstuhl.de/13121 1998 A...
متن کامل